

@inproceedings{Saturn07,
 author = {Isil Dillig and Thomas Dillig and Alex Aiken},
 title = {Static Error Detection Using Semantic Inconsistency Inference},
 booktitle = {Proceedings of the Conference on Programming Language Design and Implementation},
 month = "June",
 year = 2007
}


@inproceedings{302206,
 author = {Takeshi Tanaka and Minoru Aizawa and Hideto Ogasawara and Atsushi Yamada},
 title = {Software quality analysis and measurement service activity in the company},
 booktitle = {ICSE '98: Proceedings of the 20th international conference on Software engineering},
 year = {1998},
 isbn = {0-8186-8368-6},
 pages = {426--429},
 location = {Kyoto, Japan},
 publisher = {IEEE Computer Society},
 address = {Washington, DC, USA},
 }

@inproceedings{823938,
 author = {H. Ogasawara and M. Aizawa and A. Yamada},
 title = {Experiences with Program Static Analysis},
 booktitle = {METRICS '98: Proceedings of the 5th International Symposium on Software Metrics},
 year = {1998},
 isbn = {0-8186-9201-4},
 pages = {109},
 publisher = {IEEE Computer Society},
 address = {Washington, DC, USA},
 }

@inproceedings{ wagner05comparing,
  author = "S. Wagner and J. Jurjens and C. Koller and P. Trischberger",
  title = "Comparing Bug Finding Tools with Reviews and Tests",
   booktitle="Proc. 17th International Conference on Testing of Communicating Systems",
   pages={40--55},
  year = "2005",
  url = "citeseer.ist.psu.edu/wagner05comparing.html" }

@inproceedings{1033833,
 author = {Nick Rutar and Christian B. Almazan and Jeffrey S. Foster},
 title = {A Comparison of Bug Finding Tools for Java},
 booktitle = {ISSRE '04: Proceedings of the 15th International Symposium on Software Reliability Engineering (ISSRE'04)},
 year = {2004},
 isbn = {0-7695-2215-7},
 pages = {245--256},
 doi = {http://dx.doi.org/10.1109/ISSRE.2004.1},
 publisher = {IEEE Computer Society},
 address = {Washington, DC, USA},
 }
@inproceedings{502042,
 author = {Andy Chou and Junfeng Yang and Benjamin Chelf and Seth Hallem and Dawson Engler},
 title = {An empirical study of operating systems errors},
 booktitle = {SOSP '01: Proceedings of the eighteenth ACM symposium on Operating systems principles},
 year = {2001},
 isbn = {1-58113-389-8},
 pages = {73--88},
 location = {Banff, Alberta, Canada},
 doi = {http://doi.acm.org/10.1145/502034.502042},
 publisher = {ACM Press},
 address = {New York, NY, USA},
 }
@inproceedings{1181314,
 author = {Zhenmin Li and Lin Tan and Xuanhui Wang and Shan Lu and Yuanyuan Zhou and Chengxiang Zhai},
 title = {Have things changed now?: an empirical study of bug characteristics in modern open source software},
 booktitle = {ASID '06: Proceedings of the 1st workshop on Architectural and system support for improving software dependability},
 year = {2006},
 isbn = {1-59593-576-2},
 pages = {25--33},
 location = {San Jose, California},
 doi = {http://doi.acm.org/10.1145/1181309.1181314},
 publisher = {ACM Press},
 address = {New York, NY, USA},
 }
@inproceedings{586097,
 author = {Benjamin Chelf and Dawson Engler and Seth Hallem},
 title = {How to write system-specific, static checkers in metal},
 booktitle = {PASTE '02: Proceedings of the 2002 ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering},
 year = {2002},
 isbn = {1-58113-479-7},
 pages = {51--60},
 location = {Charleston, South Carolina, USA},
 doi = {http://doi.acm.org/10.1145/586094.586097},
 publisher = {ACM Press},
 address = {New York, NY, USA},
 }
@inproceedings{502041,
 author = {Dawson Engler and David Yu Chen and Seth Hallem and Andy Chou and Benjamin Chelf},
 title = {Bugs as deviant behavior: a general approach to inferring errors in systems code},
 booktitle = {SOSP '01: Proceedings of the eighteenth ACM symposium on Operating systems principles},
 year = {2001},
 isbn = {1-58113-389-8},
 pages = {57--72},
 location = {Banff, Alberta, Canada},
 doi = {http://doi.acm.org/10.1145/502034.502041},
 publisher = {ACM Press},
 address = {New York, NY, USA},
 }
@inproceedings{1007545,
 author = {Darrell Reimer and Edith Schonberg and Kavitha Srinivas and Harini Srinivasan and Bowen Alpern and Robert D. Johnson and Aaron Kershenbaum and Larry Koved},
 title = {SABER: smart analysis based error reduction},
 booktitle = {ISSTA '04: Proceedings of the 2004 ACM SIGSOFT international symposium on Software testing and analysis},
 year = {2004},
 isbn = {1-58113-820-2},
 pages = {243--251},
 location = {Boston, Massachusetts, USA},
 doi = {http://doi.acm.org/10.1145/1007512.1007545},
 publisher = {ACM Press},
 address = {New York, NY, USA},
 }
@inproceedings{1062558,
 author = {Nachiappan Nagappan and Thomas Ball},
 title = {Static analysis tools as early indicators of pre-release defect density},
 booktitle = {ICSE '05: Proceedings of the 27th international conference on Software engineering},
 year = {2005},
 isbn = {1-59593-963-2},
 pages = {580--586},
 location = {St. Louis, MO, USA},
 doi = {http://doi.acm.org/10.1145/1062455.1062558}},
 }
@inproceedings{1146247,
 author = {Stefan Wagner},
 title = {A model and sensitivity analysis of the quality economics of defect-detection techniques},
 booktitle = {ISSTA '06: Proceedings of the 2006 international symposium on Software testing and analysis},
 year = {2006},
 isbn = {1-59593-263-1},
 pages = {73--84},
 location = {Portland, Maine, USA},
 doi = {http://doi.acm.org/10.1145/1146238.1146247},
 publisher = {ACM Press},
 address = {New York, NY, USA},
 }
@inproceedings{1159763,
 author = {Stefan Wagner},
 title = {A literature survey of the quality economics of defect-detection techniques},
 booktitle = {ISESE '06: Proceedings of the 2006 ACM/IEEE international symposium on International symposium on empirical software engineering},
 year = {2006},
 isbn = {1-59593-218-6},
 pages = {194--203},
 location = {Rio de Janeiro, Brazil},
 doi = {http://doi.acm.org/10.1145/1159733.1159763},
 publisher = {ACM Press},
 address = {New York, NY, USA},
 }
@inproceedings{277637,
 author = {Nurit Dor and Michael Rodeh and Mooly Sagiv},
 title = {Detecting memory errors via static pointer analysis (preliminary experience)},
 booktitle = {PASTE '98: Proceedings of the 1998 ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering},
 year = {1998},
 isbn = {1-58113-055-4},
 pages = {27--34},
 location = {Montreal, Quebec, Canada},
 doi = {http://doi.acm.org/10.1145/277631.277637},
 publisher = {ACM Press},
 address = {New York, NY, USA},
 }


@inproceedings{FindBugs04,
  author = "David Hovemeyer and William Pugh",
  title = "{Finding Bugs is Easy}",
  booktitle = {Onward!, 19th ACM Conference on Object-Oriented Programming,
               Systems, Languages, and Applications},
  address = {Vancouver, BC},
  month = {October},
  year = {2004}
}


@inproceedings{FindBugs06,
 author = {Jaime Spacco and David Hovemeyer and William Pugh},
 title = {Tracking defect warnings across versions},
 booktitle = {MSR '06: Proceedings of the 2006 international workshop on Mining software repositories},
 year = {2006},
 isbn = {1-59593-397-2},
 pages = {133--136},
 location = {Shanghai, China},
 doi = {http://doi.acm.org/10.1145/1137983.1138014},
 publisher = {ACM Press},
 address = {New York, NY, USA},
 }

@inproceedings{FindBugs05,
 author = {David Hovemeyer and Jaime Spacco and William Pugh},
 title = {Evaluating and tuning a static analysis to find null pointer bugs},
 booktitle = {PASTE '05: The 6th ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering},
 year = {2005},
 isbn = {1-59593-239-9},
 pages = {13--19},
 location = {Lisbon, Portugal},
 doi = {http://doi.acm.org/10.1145/1108792.1108798},
 publisher = {ACM Press},
 address = {New York, NY, USA},
 }

@article {Zheng06,
 author = {Jiang Zheng and  Laurie Williams and  Nachiappan Nagappan and  Will Snipes and  John Hudepohl and  Mladen Vouk},
 title = {On the Value of Static Analysis for Fault Detection in Software},
 journal = {{IEEE} Transactions on Software Engineering},
  volume = 32,
  number = 4,
  pages = {240--253},
  month = {April},
  year = 2006
  }


@misc{Coverity06,
  author = "Ali Almossawi and Kelvin Lim and Tanmay Sinha",
  title = "Analysis Tool Evaluation:  Coverity Prevent",
  year=2006,
  month="May",
  note="http://www.cs.cmu.edu/~aldrich/courses/654/tools/cure-coverity-06.pdf"
}
@misc{Wagner07,
  author = "Stefan Wagner and  Florian Deissenboeck and  Michael Aichner Johann Wimmer and  Markus Schwalb",
  title = "An Evaluation of Bug Pattern Tools For Java",
  year=2007,
  month="January",
  note="{\em under review}"
}


@misc{Reasoning,
  key = "Reasoning",
  author = "{Reasoning, Inc.}",
  title = "Reasoning Inspection Service Defect Data Report for {Tomcat}, version 4.1.24",
  year=2003,
  month="January",
  note="\url{http://www.reasoning.com/pdf/Tomcat_Defect_Report.pdf}"
}


@misc{tomcat-web,
  key = "Apache Tomcat",
  title = "Apache {Tomcat}",
  year=2006,
  howpublished = "\url{http://tomcat.apache.org}"
}

@misc{NPMicrobenchmarks,
  key="NullPointerMicrobenchmarks",
  title="Null Pointer Detection Microbenchmarks",
  author="William Pugh",
  year=2006,
  howpublished="\url{http://findbugs.googlecode.com/svn/ trunk/NullPointerBenchmark/}" 
	}

@inproceedings{evans-pldi1996,
 author = {David Evans},
 title = {Static detection of dynamic memory errors},
 booktitle = {PLDI '96: Proceedings of the ACM SIGPLAN 1996 conference on Programming language design and implementation},
 year = {1996},
 isbn = {0-89791-795-2},
 pages = {44--53},
 location = {Philadelphia, Pennsylvania, United States},
 doi = {http://doi.acm.org/10.1145/231379.231389},
 publisher = {ACM Press},
 address = {New York, NY, USA},
 }

@inproceedings{engler-sosp2003,
 author = {Dawson Engler and Ken Ashcraft},
 title = {{RacerX}: effective, static detection of race conditions and deadlocks},
 booktitle = {SOSP '03: Proceedings of the nineteenth ACM symposium on Operating systems principles},
 year = {2003},
 isbn = {1-58113-757-5},
 pages = {237--252},
 location = {Bolton Landing, NY, USA},
 doi = {http://doi.acm.org/10.1145/945445.945468},
 publisher = {ACM Press},
 address = {New York, NY, USA},
 }

